From high-level Petri nets to SystemC
نویسندگان
چکیده
The paper introduces an approach for realizing high-level Petri net-models in SystemC. The presented approach contributes to an existing methodology for the Petri net-based design of distributed embedded real-time systems. It is intended to be a vehicle for realizing Petri net-components in hardware. The paper describes the use of standard SystemC language constructs to realize the firing of a high-level Petri net, which is assumed to be separated into partitions. The execution includes for instance the execution of single transitions, the handling of conflicting transitions, the realization of transition delays and the communication between Petri net-components realized in different partitions. Besides techniques for realizing these mechanisms, the integration of the code generation into the overall design flow is discussed.
منابع مشابه
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petri nets in SystemC for modeling large embedded control systems. Then statistical model checking is used to analyze the dependability of the constructed model. Our verification framework allows users to express a wide r...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملTimed Petri nets model on bell-type batch annealing process and its simulation using SystemC platform
Based on the analysis of the technical flow of bell-type batch annealing in cold rolling plant, a Timed Petri net model for describing batch annealing process is established in this paper. In order to solve the concurrence and time sequence of annealing process in the course of simulation, the mapping rules between Petri nets and SystemC platform are constructed by using the SystemC simulation ...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003